Nuprl Definition : es-lnk
0,22
postcript
pdf
lnk(
e
) == lnk(kind(
e
))
latex
clarification:
es-lnk(
es
;
e
) == lnk(es-kind(
es
;
e
))
latex
Definitions
kind(
e
)
,
lnk(
k
)
,
lnk(
e
)
FDL editor aliases
es-lnk
origin